-
1 model abstraction
-
2 model abstraction
The New English-Russian Dictionary of Radio-electronics > model abstraction
-
3 abstraction
вчт1) абстракция (1. метод познания 2. абстрагирование, использование абстракции; отвлечение 3. абстрактный объект; абстрактное понятие; абстрактные данные) || абстрактный; отвлечённый2) абстрактность; отвлечённость3) удаление; отделение; извлечение•- bracket abstraction
- data abstraction
- deductive abstraction
- functional abstraction
- generalized abstraction
- geometrical abstraction
- heuristic abstraction
- hierarchical abstraction
- identity abstraction
- iterated abstraction
- key abstraction
- lambda abstraction
- mathematical abstraction
- model abstraction
- procedural abstraction -
4 abstraction
вчт.1) абстракция (1. метод познания 2. абстрагирование, использование абстракции; отвлечение 3. абстрактный объект; абстрактное понятие; абстрактные данные) || абстрактный; отвлечённый2) абстрактность; отвлечённость3) удаление; отделение; извлечение•- bracket abstraction
- data abstraction
- deductive abstraction
- functional abstraction
- generalized abstraction
- geometrical abstraction
- heuristic abstraction
- hierarchical abstraction
- identity abstraction
- iterated abstraction
- key abstraction
- lambda abstraction
- mathematical abstraction
- model abstraction
- procedural abstractionThe New English-Russian Dictionary of Radio-electronics > abstraction
-
5 abstraction
1) широко используемый в моделировании принцип выделения только главных свойств и характеристик проблемы и игнорирования аспектов, не оказывающих существенного влияния на её решение."Structuring your application into levels of abstraction is the first step towards controlling complexity" (Bartosz Milewski). — Структуризация вашего приложения в соответствии с уровнями абстракции - первый шаг к реализации управления сложностью см. тж. abstraction layer, abstraction mechanism, control complexity, data abstraction, procedural abstraction
2) в ООП - процесс создания суперкласса путём выделения общих свойств или общих характеристик из объектов или конкретных классов3) набор существенных характеристик объекта, отличающих его от других объектов4) в ЯВУ - скрытие деталей реализации путём конструирования "ящика" вокруг них с разрешением ограниченной проверки его содержимогоАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > abstraction
-
6 model
1) модель (1. упрощённое представление объекта, процесса или явления; структурная аналогия 2. макет 3. образец; эталон; шаблон 4. пример; тип 5. стиль; дизайн) || моделировать (1. создавать упрощённое представление объекта, процесса или явления; пользоваться структурной аналогией 2. макетировать 3. создавать образец, эталон или шаблон 4. пользоваться примером; относить к определённому типу) || модельный (1. относящийся к упрощённому представлению объекта, процесса или явления; использующий структурную аналогию 2. макетный 3. образцовый; эталонный; шаблонный 4. примерный; типовой)2) служить моделью; выполнять функции модели3) создавать по образцу, эталону или шаблону4) придерживаться определённого стиля; следовать выбранному дизайну•- 2-D model
- adaptive expectations model
- additive model of neural network
- analog model
- antenna scale model
- application domain model
- AR model
- ARCH model
- ARDL model
- ARIMA model
- ARMA model
- atmospheric density model
- autoregressive conditional heteroscedastic model
- autoregressive distributed lags model
- autoregressive integrated moving average model
- autoregressive moving average model
- band model
- behavioral model
- Benetton model
- Berkeley short-channel IGFET model
- binary model
- binary choice model
- Bohr-Sommerfeld model
- Bohr-Sommerfeld model of atom
- Box-Jenkins model
- Bradley-Terry-Luce model
- brain-state-in-a-box model
- breadboard model
- Brookings models
- BSB model
- business model
- CAD model
- capability maturity model
- carrier-storage model
- causal model
- censored model
- centralized model
- charge-control model
- Chen model
- classical normal linear regression model
- classical regression model
- client-server model
- CMY model
- CMYK model
- cobweb model
- collective-electron model
- color model
- compact model
- component object model
- computer model
- computer-aided-design model
- conceptual model of hypercompetition
- conceptual data model
- conductor impedance model
- congruent model
- connectionist model
- continuum model
- Cox proportional hazards regression model
- data model
- Davidson-Hendry-Srba-Yeo model
- descriptive model
- design model
- deterministic model
- DHSY model
- discrete choice model
- distributed component object model
- distributed computing model
- distributed lags model
- distributed system object model
- distribution-free model
- document object model
- domain model
- domain architecture model
- duration model
- dynamic model
- EER-model
- energy-gap model
- entity-relationship model
- ER-model
- error correction model
- errors-in-variables model
- experimental model
- extended entity-relationship model
- extended relational model
- extended relational data model
- extensional model
- ferromagnetic Fermi-liquid model
- file level model
- financial model
- finite-population model
- fixed-effects model
- flat Earth model
- flat free model of advertising
- formalized model
- fractal model
- frame model
- fuzzy model
- GARCH model
- generalized autoregressive conditional heteroscedastic model
- generalized linear model
- geometric model
- geometrical lags model
- gross-level model
- ground-environment model
- Haken-Kelso-Bunz model
- Heisenberg model
- heuristic model
- hierarchical data model
- HLS model
- holographic model
- HSB model
- HSV model
- Hubbard model
- huge model
- hybrid-pi model
- hypothesis model
- ideal model
- imaging model
- indexed colors model
- information model
- information-logical model
- intensional model
- intercept-only model
- ionospheric model
- irreversible growth model
- Ising model
- ISO/OSI reference model
- Klein model
- Kronig-Penney model
- L*a*b* model
- large model
- large-signal device model
- LCH model
- learning, induction and schema abstraction model
- life cycle model
- limited dependent variable model
- linear model
- linear probability model
- LISA model
- logical model
- logical-linguistic model
- logistic model
- logit model
- loglinear model
- Londons' model of superconductivity
- lookup-table model
- Lorentz model
- low-signal device model
- machine model
- macrolevel model
- magnetic hysteresis model
- magnetohydrodynamic plasma model
- mathematical model
- matrix-memory model
- medium model
- memory model
- MHD plasma model
- microlevel model
- Minsky model
- Minsky frame model
- mixed model
- molecular-field model
- moving average model
- multiple regression model
- multiplicative model
- nested model
- network model
- network data model
- non-nested model
- non-parametric model
- N-state Potts model
- N-tier model
- null model
- object model
- object data model
- one-dimensional model
- one-fluid plasma model
- operations model
- optimizing model
- parabolic-ionosphere model
- parametric model
- parsimonious model
- partial adjustment model
- phenomenological model
- physical model
- pilot model
- Pippard nonlocal model
- plant model
- Poisson model
- polar model
- polynomial lags model
- postrelational model
- postrelational data model
- Potts model
- predictive model
- Preisach model
- preproduction model
- price model of advertising
- probabilistic model
- probit model
- proportional hazard model
- proportional-odds model
- prototype model
- quadratic model
- qualitative dependent variable model
- quantum mechanical model of superconductivity
- quasi-equilibrium model
- quasi-linear model
- random coefficients model
- random-effects model
- register model
- relational model
- relational data model
- relative model
- representative model
- response-surface model
- RGB model
- Ridley-Watkins-Hilsum model
- rival models
- Rössler model
- RWH model
- saturated model
- scalar model
- SCSI architecture model
- semantic model
- semiotic model
- sharply bounded ionosphere model
- simulation model
- single-ion model
- Skyrme model
- small model
- small-signal device model
- solid model
- spherical Earth model
- state-space model
- statistical model
- stochastic model
- Stoner-Wohlfart model
- structural model
- stuck-at-fault model
- surface model
- symbolic model
- symbolic-form model
- synergetic model
- system model
- system object model
- test model
- thermodynamical model
- three-tier model
- tobit model
- transistor model
- translog model
- tropospheric model
- true model
- truncated model
- two-dimensional model
- two-dimensional regression model
- two-fluid model of superconductivity
- two-fluid plasma model
- two-tier model
- Van der Ziel's noise model
- variable parameter model
- vector model
- wire-frame model
- working model -
7 model
1) модель (1. упрощённое представление объекта, процесса или явления; структурная аналогия 2. макет 3. образец; эталон; шаблон 4. пример; тип 5. стиль; дизайн) || моделировать (1. создавать упрощённое представление объекта, процесса или явления; пользоваться структурной аналогией 2. макетировать 3. создавать образец, эталон или шаблон 4. пользоваться примером; относить к определённому типу) || модельный (1. относящийся к упрощённому представлению объекта, процесса или явления; использующий структурную аналогию 2. макетный 3. образцовый; эталонный; шаблонный 4. примерный; типовой)2) служить моделью; выполнять функции модели3) создавать по образцу, эталону или шаблону4) придерживаться определённого стиля; следовать выбранному дизайну•- 2-D model
- adaptive expectations model
- additive model of neural network
- analog model
- antenna scale model
- application domain model
- AR model
- ARCH model
- ARDL model
- ARIMA model
- ARMA model
- atmospheric density model
- autoregressive conditional heteroscedastic model
- autoregressive distributed lags model
- autoregressive integrated moving average model
- autoregressive model
- autoregressive moving average model
- band model
- behavioral model
- Benetton model
- Berkeley short-channel IGFET model
- binary choice model
- binary model
- Bohr-Sommerfeld model of atom
- Bohr-Sommerfeld model
- Box-Jenkins model
- Bradley-Terry-Luce model
- brain-state-in-a-box model
- breadboard model
- Brookings models
- BSB model
- business model
- CAD model
- capability maturity model
- carrier-storage model
- causal model
- censored model
- centralized model
- charge-control model
- Chen model
- classical normal linear regression model
- classical regression model
- client-server model
- CMY model
- CMYK model
- cobweb model
- collective-electron model
- color model
- compact model
- component object model
- computer model
- computer-aided-design model
- conceptual data model
- conceptual model of hypercompetition
- conductor impedance model
- congruent model
- connectionist model
- continuum model
- Cox proportional hazards regression model
- data model
- Davidson-Hendry-Srba-Yeo model
- descriptive model
- design model
- deterministic model
- DHSY model
- discrete choice model
- distributed component object model
- distributed computing model
- distributed lags model
- distributed system object model
- distribution-free model
- document object model
- domain architecture model
- domain model
- duration model
- dynamic model
- EER-model
- energy-gap model
- entity-relationship model
- ER-model
- error correction model
- errors-in-variables model
- experimental model
- extended entity-relationship model
- extended relational data model
- extended relational model
- extensional model
- ferromagnetic Fermi-liquid model
- file level model
- financial model
- finite-population model
- fixed-effects model
- flat Earth model
- flat free model of advertising
- formalized model
- fractal model
- frame model
- fuzzy model
- GARCH model
- generalized autoregressive conditional heteroscedastic model
- generalized linear model
- geometric model
- geometrical lags model
- gross-level model
- ground-environment model
- Haken-Kelso-Bunz model
- Heisenberg model
- heuristic model
- hierarchical data model
- HLS model
- holographic model
- HSB model
- HSV model
- Hubbard model
- huge model
- hybrid-pi model
- hypothesis model
- ideal model
- imaging model
- indexed colors model
- information model
- information-logical model
- intensional model
- intercept-only model
- ionospheric model
- irreversible growth model
- Ising model
- ISO/OSI reference model
- Klein model
- Kronig-Penney model
- L*a*b* model
- large model
- large-signal device model
- LCH model
- learning, induction and schema abstraction model
- life cycle model
- limited dependent variable model
- linear model
- linear probability model
- LISA model
- logical model
- logical-linguistic model
- logistic model
- logit model
- loglinear model
- Londons' model of superconductivity
- lookup-table model
- Lorentz model
- low-signal device model
- machine model
- macrolevel model
- magnetic hysteresis model
- magnetohydrodynamic plasma model
- mathematical model
- matrix-memory model
- medium model
- memory model
- MHD plasma model
- microlevel model
- Minsky frame model
- Minsky model
- mixed model
- molecular-field model
- moving average model
- multiple regression model
- multiplicative model
- nested model
- network data model
- network model
- non-nested model
- non-parametric model
- N-state Potts model
- N-tier model
- null model
- object data model
- object model
- one-dimensional model
- one-fluid plasma model
- operations model
- optimizing model
- parabolic-ionosphere model
- parametric model
- parsimonious model
- partial adjustment model
- phenomenological model
- physical model
- pilot model
- Pippard nonlocal model
- plant model
- Poisson model
- polar model
- polynomial lags model
- postrelational data model
- postrelational model
- Potts model
- predictive model
- Preisach model
- preproduction model
- price model of advertising
- probabilistic model
- probit model
- proportional hazard model
- proportional-odds model
- prototype model
- quadratic model
- qualitative dependent variable model
- quantum mechanical model of superconductivity
- quasi-equilibrium model
- quasi-linear model
- random coefficients model
- random-effects model
- register model
- relational data model
- relational model
- relative model
- representative model
- response-surface model
- RGB model
- Ridley-Watkins-Hilsum model
- rival models
- Rössler model
- RWH model
- saturated model
- scalar model
- SCSI architecture model
- semantic model
- semiotic model
- sharply bounded ionosphere model
- simulation model
- single-ion model
- Skyrme model
- small model
- small-signal device model
- solid model
- spherical Earth model
- state-space model
- statistical model
- stochastic model
- Stoner-Wohlfart model
- structural model
- stuck-at-fault model
- surface model
- symbolic model
- symbolic-form model
- synergetic model
- system model
- system object model
- test model
- thermodynamical model
- three-tier model
- tobit model
- transistor model
- translog model
- tropospheric model
- true model
- truncated model
- two-dimensional model
- two-dimensional regression model
- two-fluid model of superconductivity
- two-fluid plasma model
- two-tier model
- Van der Ziel's noise model
- variable parameter model
- vector model
- wire-frame model
- working modelThe New English-Russian Dictionary of Radio-electronics > model
-
8 LISA model
-
9 LISA model
The New English-Russian Dictionary of Radio-electronics > LISA model
-
10 object model
совокупность принципов, лежащих в основе ООПАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > object model
-
11 learning, induction and schema abstraction model
модель структурного отображения с обучением методом индукции и схематическим абстрагированием, модель LISAEnglish-Russian electronics dictionary > learning, induction and schema abstraction model
-
12 learning, induction and schema abstraction model
модель структурного отображения с обучением методом индукции и схематическим абстрагированием, модель LISAThe New English-Russian Dictionary of Radio-electronics > learning, induction and schema abstraction model
-
13 модельная абстракция
Русско-английский словарь по электронике > модельная абстракция
-
14 модельная абстракция
Русско-английский словарь по радиоэлектронике > модельная абстракция
-
15 Artificial Intelligence
In my opinion, none of [these programs] does even remote justice to the complexity of human mental processes. Unlike men, "artificially intelligent" programs tend to be single minded, undistractable, and unemotional. (Neisser, 1967, p. 9)Future progress in [artificial intelligence] will depend on the development of both practical and theoretical knowledge.... As regards theoretical knowledge, some have sought a unified theory of artificial intelligence. My view is that artificial intelligence is (or soon will be) an engineering discipline since its primary goal is to build things. (Nilsson, 1971, pp. vii-viii)Most workers in AI [artificial intelligence] research and in related fields confess to a pronounced feeling of disappointment in what has been achieved in the last 25 years. Workers entered the field around 1950, and even around 1960, with high hopes that are very far from being realized in 1972. In no part of the field have the discoveries made so far produced the major impact that was then promised.... In the meantime, claims and predictions regarding the potential results of AI research had been publicized which went even farther than the expectations of the majority of workers in the field, whose embarrassments have been added to by the lamentable failure of such inflated predictions....When able and respected scientists write in letters to the present author that AI, the major goal of computing science, represents "another step in the general process of evolution"; that possibilities in the 1980s include an all-purpose intelligence on a human-scale knowledge base; that awe-inspiring possibilities suggest themselves based on machine intelligence exceeding human intelligence by the year 2000 [one has the right to be skeptical]. (Lighthill, 1972, p. 17)4) Just as Astronomy Succeeded Astrology, the Discovery of Intellectual Processes in Machines Should Lead to a Science, EventuallyJust as astronomy succeeded astrology, following Kepler's discovery of planetary regularities, the discoveries of these many principles in empirical explorations on intellectual processes in machines should lead to a science, eventually. (Minsky & Papert, 1973, p. 11)5) Problems in Machine Intelligence Arise Because Things Obvious to Any Person Are Not Represented in the ProgramMany problems arise in experiments on machine intelligence because things obvious to any person are not represented in any program. One can pull with a string, but one cannot push with one.... Simple facts like these caused serious problems when Charniak attempted to extend Bobrow's "Student" program to more realistic applications, and they have not been faced up to until now. (Minsky & Papert, 1973, p. 77)What do we mean by [a symbolic] "description"? We do not mean to suggest that our descriptions must be made of strings of ordinary language words (although they might be). The simplest kind of description is a structure in which some features of a situation are represented by single ("primitive") symbols, and relations between those features are represented by other symbols-or by other features of the way the description is put together. (Minsky & Papert, 1973, p. 11)[AI is] the use of computer programs and programming techniques to cast light on the principles of intelligence in general and human thought in particular. (Boden, 1977, p. 5)The word you look for and hardly ever see in the early AI literature is the word knowledge. They didn't believe you have to know anything, you could always rework it all.... In fact 1967 is the turning point in my mind when there was enough feeling that the old ideas of general principles had to go.... I came up with an argument for what I called the primacy of expertise, and at the time I called the other guys the generalists. (Moses, quoted in McCorduck, 1979, pp. 228-229)9) Artificial Intelligence Is Psychology in a Particularly Pure and Abstract FormThe basic idea of cognitive science is that intelligent beings are semantic engines-in other words, automatic formal systems with interpretations under which they consistently make sense. We can now see why this includes psychology and artificial intelligence on a more or less equal footing: people and intelligent computers (if and when there are any) turn out to be merely different manifestations of the same underlying phenomenon. Moreover, with universal hardware, any semantic engine can in principle be formally imitated by a computer if only the right program can be found. And that will guarantee semantic imitation as well, since (given the appropriate formal behavior) the semantics is "taking care of itself" anyway. Thus we also see why, from this perspective, artificial intelligence can be regarded as psychology in a particularly pure and abstract form. The same fundamental structures are under investigation, but in AI, all the relevant parameters are under direct experimental control (in the programming), without any messy physiology or ethics to get in the way. (Haugeland, 1981b, p. 31)There are many different kinds of reasoning one might imagine:Formal reasoning involves the syntactic manipulation of data structures to deduce new ones following prespecified rules of inference. Mathematical logic is the archetypical formal representation. Procedural reasoning uses simulation to answer questions and solve problems. When we use a program to answer What is the sum of 3 and 4? it uses, or "runs," a procedural model of arithmetic. Reasoning by analogy seems to be a very natural mode of thought for humans but, so far, difficult to accomplish in AI programs. The idea is that when you ask the question Can robins fly? the system might reason that "robins are like sparrows, and I know that sparrows can fly, so robins probably can fly."Generalization and abstraction are also natural reasoning process for humans that are difficult to pin down well enough to implement in a program. If one knows that Robins have wings, that Sparrows have wings, and that Blue jays have wings, eventually one will believe that All birds have wings. This capability may be at the core of most human learning, but it has not yet become a useful technique in AI.... Meta- level reasoning is demonstrated by the way one answers the question What is Paul Newman's telephone number? You might reason that "if I knew Paul Newman's number, I would know that I knew it, because it is a notable fact." This involves using "knowledge about what you know," in particular, about the extent of your knowledge and about the importance of certain facts. Recent research in psychology and AI indicates that meta-level reasoning may play a central role in human cognitive processing. (Barr & Feigenbaum, 1981, pp. 146-147)Suffice it to say that programs already exist that can do things-or, at the very least, appear to be beginning to do things-which ill-informed critics have asserted a priori to be impossible. Examples include: perceiving in a holistic as opposed to an atomistic way; using language creatively; translating sensibly from one language to another by way of a language-neutral semantic representation; planning acts in a broad and sketchy fashion, the details being decided only in execution; distinguishing between different species of emotional reaction according to the psychological context of the subject. (Boden, 1981, p. 33)Can the synthesis of Man and Machine ever be stable, or will the purely organic component become such a hindrance that it has to be discarded? If this eventually happens-and I have... good reasons for thinking that it must-we have nothing to regret and certainly nothing to fear. (Clarke, 1984, p. 243)The thesis of GOFAI... is not that the processes underlying intelligence can be described symbolically... but that they are symbolic. (Haugeland, 1985, p. 113)14) Artificial Intelligence Provides a Useful Approach to Psychological and Psychiatric Theory FormationIt is all very well formulating psychological and psychiatric theories verbally but, when using natural language (even technical jargon), it is difficult to recognise when a theory is complete; oversights are all too easily made, gaps too readily left. This is a point which is generally recognised to be true and it is for precisely this reason that the behavioural sciences attempt to follow the natural sciences in using "classical" mathematics as a more rigorous descriptive language. However, it is an unfortunate fact that, with a few notable exceptions, there has been a marked lack of success in this application. It is my belief that a different approach-a different mathematics-is needed, and that AI provides just this approach. (Hand, quoted in Hand, 1985, pp. 6-7)We might distinguish among four kinds of AI.Research of this kind involves building and programming computers to perform tasks which, to paraphrase Marvin Minsky, would require intelligence if they were done by us. Researchers in nonpsychological AI make no claims whatsoever about the psychological realism of their programs or the devices they build, that is, about whether or not computers perform tasks as humans do.Research here is guided by the view that the computer is a useful tool in the study of mind. In particular, we can write computer programs or build devices that simulate alleged psychological processes in humans and then test our predictions about how the alleged processes work. We can weave these programs and devices together with other programs and devices that simulate different alleged mental processes and thereby test the degree to which the AI system as a whole simulates human mentality. According to weak psychological AI, working with computer models is a way of refining and testing hypotheses about processes that are allegedly realized in human minds.... According to this view, our minds are computers and therefore can be duplicated by other computers. Sherry Turkle writes that the "real ambition is of mythic proportions, making a general purpose intelligence, a mind." (Turkle, 1984, p. 240) The authors of a major text announce that "the ultimate goal of AI research is to build a person or, more humbly, an animal." (Charniak & McDermott, 1985, p. 7)Research in this field, like strong psychological AI, takes seriously the functionalist view that mentality can be realized in many different types of physical devices. Suprapsychological AI, however, accuses strong psychological AI of being chauvinisticof being only interested in human intelligence! Suprapsychological AI claims to be interested in all the conceivable ways intelligence can be realized. (Flanagan, 1991, pp. 241-242)16) Determination of Relevance of Rules in Particular ContextsEven if the [rules] were stored in a context-free form the computer still couldn't use them. To do that the computer requires rules enabling it to draw on just those [ rules] which are relevant in each particular context. Determination of relevance will have to be based on further facts and rules, but the question will again arise as to which facts and rules are relevant for making each particular determination. One could always invoke further facts and rules to answer this question, but of course these must be only the relevant ones. And so it goes. It seems that AI workers will never be able to get started here unless they can settle the problem of relevance beforehand by cataloguing types of context and listing just those facts which are relevant in each. (Dreyfus & Dreyfus, 1986, p. 80)Perhaps the single most important idea to artificial intelligence is that there is no fundamental difference between form and content, that meaning can be captured in a set of symbols such as a semantic net. (G. Johnson, 1986, p. 250)Artificial intelligence is based on the assumption that the mind can be described as some kind of formal system manipulating symbols that stand for things in the world. Thus it doesn't matter what the brain is made of, or what it uses for tokens in the great game of thinking. Using an equivalent set of tokens and rules, we can do thinking with a digital computer, just as we can play chess using cups, salt and pepper shakers, knives, forks, and spoons. Using the right software, one system (the mind) can be mapped into the other (the computer). (G. Johnson, 1986, p. 250)19) A Statement of the Primary and Secondary Purposes of Artificial IntelligenceThe primary goal of Artificial Intelligence is to make machines smarter.The secondary goals of Artificial Intelligence are to understand what intelligence is (the Nobel laureate purpose) and to make machines more useful (the entrepreneurial purpose). (Winston, 1987, p. 1)The theoretical ideas of older branches of engineering are captured in the language of mathematics. We contend that mathematical logic provides the basis for theory in AI. Although many computer scientists already count logic as fundamental to computer science in general, we put forward an even stronger form of the logic-is-important argument....AI deals mainly with the problem of representing and using declarative (as opposed to procedural) knowledge. Declarative knowledge is the kind that is expressed as sentences, and AI needs a language in which to state these sentences. Because the languages in which this knowledge usually is originally captured (natural languages such as English) are not suitable for computer representations, some other language with the appropriate properties must be used. It turns out, we think, that the appropriate properties include at least those that have been uppermost in the minds of logicians in their development of logical languages such as the predicate calculus. Thus, we think that any language for expressing knowledge in AI systems must be at least as expressive as the first-order predicate calculus. (Genesereth & Nilsson, 1987, p. viii)21) Perceptual Structures Can Be Represented as Lists of Elementary PropositionsIn artificial intelligence studies, perceptual structures are represented as assemblages of description lists, the elementary components of which are propositions asserting that certain relations hold among elements. (Chase & Simon, 1988, p. 490)Artificial intelligence (AI) is sometimes defined as the study of how to build and/or program computers to enable them to do the sorts of things that minds can do. Some of these things are commonly regarded as requiring intelligence: offering a medical diagnosis and/or prescription, giving legal or scientific advice, proving theorems in logic or mathematics. Others are not, because they can be done by all normal adults irrespective of educational background (and sometimes by non-human animals too), and typically involve no conscious control: seeing things in sunlight and shadows, finding a path through cluttered terrain, fitting pegs into holes, speaking one's own native tongue, and using one's common sense. Because it covers AI research dealing with both these classes of mental capacity, this definition is preferable to one describing AI as making computers do "things that would require intelligence if done by people." However, it presupposes that computers could do what minds can do, that they might really diagnose, advise, infer, and understand. One could avoid this problematic assumption (and also side-step questions about whether computers do things in the same way as we do) by defining AI instead as "the development of computers whose observable performance has features which in humans we would attribute to mental processes." This bland characterization would be acceptable to some AI workers, especially amongst those focusing on the production of technological tools for commercial purposes. But many others would favour a more controversial definition, seeing AI as the science of intelligence in general-or, more accurately, as the intellectual core of cognitive science. As such, its goal is to provide a systematic theory that can explain (and perhaps enable us to replicate) both the general categories of intentionality and the diverse psychological capacities grounded in them. (Boden, 1990b, pp. 1-2)Because the ability to store data somewhat corresponds to what we call memory in human beings, and because the ability to follow logical procedures somewhat corresponds to what we call reasoning in human beings, many members of the cult have concluded that what computers do somewhat corresponds to what we call thinking. It is no great difficulty to persuade the general public of that conclusion since computers process data very fast in small spaces well below the level of visibility; they do not look like other machines when they are at work. They seem to be running along as smoothly and silently as the brain does when it remembers and reasons and thinks. On the other hand, those who design and build computers know exactly how the machines are working down in the hidden depths of their semiconductors. Computers can be taken apart, scrutinized, and put back together. Their activities can be tracked, analyzed, measured, and thus clearly understood-which is far from possible with the brain. This gives rise to the tempting assumption on the part of the builders and designers that computers can tell us something about brains, indeed, that the computer can serve as a model of the mind, which then comes to be seen as some manner of information processing machine, and possibly not as good at the job as the machine. (Roszak, 1994, pp. xiv-xv)The inner workings of the human mind are far more intricate than the most complicated systems of modern technology. Researchers in the field of artificial intelligence have been attempting to develop programs that will enable computers to display intelligent behavior. Although this field has been an active one for more than thirty-five years and has had many notable successes, AI researchers still do not know how to create a program that matches human intelligence. No existing program can recall facts, solve problems, reason, learn, and process language with human facility. This lack of success has occurred not because computers are inferior to human brains but rather because we do not yet know in sufficient detail how intelligence is organized in the brain. (Anderson, 1995, p. 2)Historical dictionary of quotations in cognitive science > Artificial Intelligence
-
16 salto
m.1 jump (gen) & (sport).triple salto triple jumpsalto de altura high jumpsalto de esquí ski jumpsalto de longitud long jumpsalto mortal somersaultsalto en paracaídas parachute jumpsalto con pértiga pole vault2 gap.3 leap forward (progreso).un salto hacia atrás a major step backward4 precipice (despeñadero).salto de agua waterfallpres.indicat.1st person singular (yo) present indicative of spanish verb: saltar.* * *1 (gen) jump, leap2 DEPORTE jump (natación) dive3 (de agua) waterfall4 (despeñadero) precipice\a salto de mata (vivir al día) from hand to mouth 2 (de cualquier manera) slapdash, haphazardly, any old howbajar de un salto / subir de un salto to jump down / jump updar un salto / pegar un salto to jump, leapdar un salto en el vacío figurado to take a leap in the darkel corazón me daba saltos figurado my heart was poundingen un salto figurado in a flashsalto de agua waterfall, falls pluralsalto de altura high jumpsalto de cama negligeesalto de la carpa jack-knifesalto de longitud long jumpsalto del ángel swan divesalto de tijera scissor jumpsalto mortal somersault* * *noun m.1) jump, leap, skip2) gap3) dive* * *SM1) (=acción) [gen] jump; [de mayor altura, distancia] leap; [al agua] diveeste invento es un gran salto adelante en tecnología — this invention is a great leap forward in technology
la novela está narrada con numerosos saltos atrás en el tiempo — the novel is told with a lot of flashbacks in time
•
a saltos, cruzamos el río a saltos — we jumped across the riverhabía que andar a saltos para no pisar los cristales — you had to hop about so as not to tread on the glass
los niños les acompañaban dando saltos — the kids went with them, jumping o hopping about
al hablar da muchos saltos de un tema a otro — when he speaks, he jumps from o leaps around from one subject to the next
•
de un salto, se puso en pie de un salto — he leapt o sprang to his feetsubió/bajó de un salto — he jumped up/down
•
el libro supuso su salto a la fama — the book marked his leap to fame, the book was his springboard to famea salto de mata —
vivir a salto de mata — (=sin organización) to lead a haphazard life; (=sin seguridad) to live from hand to mouth
le gustaría dar el salto al teatro profesional — he would like to make the leap o jump into professional theatre
salto a ciegas, salto al vacío — leap in the dark
2) (Atletismo) jump; (Natación) dive•
triple salto — triple jumpsalto alto — LAm high jump
salto en paracaídas — (=salto) parachute jump; (=deporte) parachuting
salto inicial — (Baloncesto) jump ball
salto largo — LAm long jump
3) (=diferencia) gapentre los dos hermanos hay un salto de nueve años — there is a gap of nine years between the two brothers
hay un gran salto entre su primer libro y este último — there is a big leap between his first book and this latest one
4) (=en texto)salto de línea — (Inform) line break
5) (=desnivel) [de agua] waterfall; [en el terreno] faultsalto de agua — (Geog) waterfall; (Téc) chute
6)* * *1)a) ( brinco) jumpse levantó de un salto — ( de la cama) he leapt o sprang out of bed; ( del suelo) he leapt o jumped up from the floor
se puso en pie de un salto — she leapt o sprang to her feet
los pájaros se acercaban dando saltitos — the birds were hopping closer to me/us
dar or pegar un salto — ( dar un brinco) to jump; ( de susto) to start, jump
dos años más tarde dio el salto de productor a director — two years later he made the jump from producer to director
dar un salto en el vacío — to take a leap in the dark
b) (Dep) (en atletismo, esquí, paracaidismo) jump; ( en natación) dive2) (Geog) tb* * *= bound, leap, jump, hopping, hop, skip.Ex. For those involved in producing BNB, the eighties have seen this question leap in a single bound into the realm of stark reality from the cosy abstraction of AACR2.Ex. The information qualifications of specialists are portrayed as training on the information trampoline for a leap into new ideas.Ex. Hytelenet guides the user through directories of sites on the Internet using hypertext jumps.Ex. The sputter of gibberish, the hoppings about the floor, the violent gesticulations, were like the frenzy of a half dozen exasperated baboons.Ex. I told him about the doctor's explanation for my lack of weight loss and he did a few hops in place, excited for me that there's an explanation for not losing weight.Ex. The skipping rope seemed so long and heavy, and after a few skips, I was ready to drop dead.----* dar el salto = make + the leap.* dar un salto = leap, give + a jump.* dar un salto mortal = somersault, do + a somersault, summersault.* gran salto adelante = giant leap, great leap forward.* incremento del salto = jump increment.* levantarse de un salto = spring up.* rampa para salto de esquí = ski jumping ramp.* salto a la fama = jump into stardom.* salto al estrellato = jump into stardom.* salto al vacío = leap in the dark.* salto de agua = waterfall, fall.* salto de altura = vertical jump, vertical jump, high jumping, high jump.* salto de esquí = ski jumping, ski jump.* salto de fe = leap of faith.* salto del ángel = swan dive.* salto de longitud = long jump.* salto de página = page break.* salto de pértiga = pole vault, pole vaulting.* salto de puenting = bungee jump.* salto gigante = giant leap.* salto hacia el futuro = leap into + the future.* salto hacia lo desconocido = leap into + the unknown.* salto mental = mental leap.* salto mortal = somersault, summersault.* salto mortal hacia atrás = backflip.* triple salto = triple jump.* * *1)a) ( brinco) jumpse levantó de un salto — ( de la cama) he leapt o sprang out of bed; ( del suelo) he leapt o jumped up from the floor
se puso en pie de un salto — she leapt o sprang to her feet
los pájaros se acercaban dando saltitos — the birds were hopping closer to me/us
dar or pegar un salto — ( dar un brinco) to jump; ( de susto) to start, jump
dos años más tarde dio el salto de productor a director — two years later he made the jump from producer to director
dar un salto en el vacío — to take a leap in the dark
b) (Dep) (en atletismo, esquí, paracaidismo) jump; ( en natación) dive2) (Geog) tb* * *= bound, leap, jump, hopping, hop, skip.Ex: For those involved in producing BNB, the eighties have seen this question leap in a single bound into the realm of stark reality from the cosy abstraction of AACR2.
Ex: The information qualifications of specialists are portrayed as training on the information trampoline for a leap into new ideas.Ex: Hytelenet guides the user through directories of sites on the Internet using hypertext jumps.Ex: The sputter of gibberish, the hoppings about the floor, the violent gesticulations, were like the frenzy of a half dozen exasperated baboons.Ex: I told him about the doctor's explanation for my lack of weight loss and he did a few hops in place, excited for me that there's an explanation for not losing weight.Ex: The skipping rope seemed so long and heavy, and after a few skips, I was ready to drop dead.* dar el salto = make + the leap.* dar un salto = leap, give + a jump.* dar un salto mortal = somersault, do + a somersault, summersault.* gran salto adelante = giant leap, great leap forward.* incremento del salto = jump increment.* levantarse de un salto = spring up.* rampa para salto de esquí = ski jumping ramp.* salto a la fama = jump into stardom.* salto al estrellato = jump into stardom.* salto al vacío = leap in the dark.* salto de agua = waterfall, fall.* salto de altura = vertical jump, vertical jump, high jumping, high jump.* salto de esquí = ski jumping, ski jump.* salto de fe = leap of faith.* salto del ángel = swan dive.* salto de longitud = long jump.* salto de página = page break.* salto de pértiga = pole vault, pole vaulting.* salto de puenting = bungee jump.* salto gigante = giant leap.* salto hacia el futuro = leap into + the future.* salto hacia lo desconocido = leap into + the unknown.* salto mental = mental leap.* salto mortal = somersault, summersault.* salto mortal hacia atrás = backflip.* triple salto = triple jump.* * *A1 (brinco) jumpatravesó el arroyo de un salto he jumped (over) the streamal oír el despertador se levantó de un salto when he heard the alarm clock he leaped o jumped o sprang out of bedse puso en pie de un salto she leaped o sprang to her feetel conejo se escapó dando saltos the rabbit hopped away to safetylos pájaros se acercaban dando saltitos the birds were hopping closer to me/uscuando oí el tiro pegué un salto I started o jumped at the sound of the shotel corazón le daba saltos de la emoción her heart was pounding with excitementlos niños daban saltos de alegría the children jumped for joyel avión no paró de dar saltos it was a very bumpy flightde un salto pasó de redactor a director he leapt o shot straight from editor to directordos años más tarde dio el salto de productor a director two years later he made the jump from producer to directorlos precios han dado un salto prices have shot upel país ha dado un enorme salto atrás the country has taken a huge step backward(s)dar un salto en el vacío to take a leap in the darkhacer algo a salto de mata to do sth in a haphazard wayvivir a salto de mata to take each day as it comesCompuestos:bungee jump( AmL) pole vaultpole vault( Fís) quantum leaphigh jumplong jump( AmL) high jump( AmL) long jumpsomersaultB ( Geog) tbsalto de agua waterfallel Salto de Teguendama the Teguendama Falls* * *
Del verbo saltar: ( conjugate saltar)
salto es:
1ª persona singular (yo) presente indicativo
saltó es:
3ª persona singular (él/ella/usted) pretérito indicativo
Multiple Entries:
saltar
salto
saltar ( conjugate saltar) verbo intransitivo
1
(más alto, más lejos) to leap;
salto a la cuerda or (Esp) comba to jump rope (AmE), to skip (BrE);
salto con or en una pierna to hop;
salto de la cama/silla to jump out of bed/one's chair
salto en paracaídas to parachute;
¿sabes salto del trampolín? can you dive off the springboard?;
saltó al vacío he leapt into space;
salto SOBRE algo/algn to jump on sth/sb
2 ( pasar) salto DE algo A algo to jump from sth to sth;
3 [ botón] to come off, pop off;
[ chispas] to fly;
[ aceite] to spit;
[ corcho] to pop out;
[ fusibles] to blow;
verbo transitivo ‹obstáculo/valla/zanja› to jump (over);
( apoyándose) to vault (over)
saltarse verbo pronominal
1
‹ comida› to miss, skip
2 [ botón] to come off, pop off;
[ pintura] to chip;
3 (Chi) [diente/loza] to chip
salto sustantivo masculino
1
( del suelo) he leapt o jumped up from the floor;◊ se puso en pie de un salto she leapt o sprang to her feet;
los pájaros se acercaban dando saltitos the birds were hopping closer to me/us;
dar or pegar un salto ( dar un brinco) to jump;
( de susto) to start, jump;
( en natación) dive;
salto con pértiga or (AmL) garrocha pole vault;◊ salto de altura/longitud high/long jump;
salto (en) alto/(en) largo (AmL) high/long jump;
salto mortal somersault
2 (Geog) tb
saltar
I verbo intransitivo
1 to jump, leap
saltar con una pierna, to hop
saltar en paracaídas, to parachute
2 (el aceite, etc) to spit
3 (una alarma, etc) to go off
4 (con una explosión o estallido) to explode, blow up
5 (con una frase) to retort: no me vuelvas a saltar con esa tontería, don't come out with such nonsense again
6 (a la mente) to leap (to one's mind)
II verbo transitivo
1 (por encima de algo) to jump (over)
♦ Locuciones: hacer saltar por los aires, to blow into the air
saltar a la vista, to be obvious
salto sustantivo masculino
1 jump, leap
avanzar a saltos, to hop along
dar un salto de alegría, to jump for joy
(el corazón) dar un salto, to pound [de, with]
2 Dep jump
salto con pértiga, pole vault
salto mortal, somersault
(en el agua) dive
triple salto, hop, step and jump
salto de longitud/de altura, long jump/high jump
3 (por omisión, diferencia, vacío) gap
4 salto atrás, backward step 5 salto de agua, waterfall 6 salto de cama, negligée
♦ Locuciones: (avanzar, progresar) dar el salto, to make headway
familiar vivir a salto de mata, to live from day to day
' salto' also found in these entries:
Spanish:
alarma
- caída
- espontánea
- espontáneo
- pértiga
- rebasar
- tijereta
- trenzado
- ejecutar
- encima
- listón
- pedazo
- pegar
- saltar
- zambullida
English:
blow up
- bound
- dive
- event
- gallop up
- headline
- in
- jump
- jump across
- jump down
- jump off
- jump on
- leap
- moving
- over
- parachute
- pole-vaulting
- show-jumping
- ski jumping
- skip
- somersault
- spring
- spring up
- vault
- caper
- dressing
- high
- hop
- long
- pole
- robe
- shoot
- triple
- water
- wrap
* * *salto nm1. [brinco] jump;[grande] leap; [al agua] dive;cruzó la grieta de un salto he jumped across the crevice;[grande] to leap;cuando se enteró de la noticia pegó un salto de alegría when she heard the news she was absolutely thrilled;el corazón le dio un salto cuando escuchó el disparo her heart skipped a beat when she heard the shot;la empresa ha decidido dar el salto a Internet the company has decided to go on line;vivir a salto de mata to live from one day to the nextAm salto alto high jump;salto de altura high jump;salto del ángel swallow dive;salto entre dos [en baloncesto] jump ball;saltos de esquí ski jumping;Am salto con garrocha pole vault;salto inicial [en baloncesto] tip-off;Am salto largo long jump;salto de longitud long jump;salto mortal somersault;salto en paracaídas parachute jump;salto con pértiga pole vault2. [omisión] gap;en este texto hay un salto de varios párrafos there are several paragraphs missing from this text3. [progreso] leap forward;el nuevo modelo supone un significativo salto cualitativo this model represents a significant qualitative leap forward;con esta victoria el equipo da un salto importantísimo this victory is a big leap forward for the team;un salto hacia atrás a major step backwards;finalmente dio el salto a la fama he finally made his big breakthrough4. [despeñadero] precipicesalto de agua waterfall; Geol salto de falla fault planesalto de línea automático wordwrap;salto de página page break* * *m leap, jump;dar un salto jump;dar un salto adelante jump forward;salto atrás tb fig step backwards;de un salto in one jump;dar saltos de alegría jump for joy;triple salto triple jump;concurso de saltos showjumping competition* * *salto nm1) brinco: jump, leap, skip2) : jump, dive (in sports)3) : gap, omission4)dar saltos : to jump up and down5) orsalto de agua catarata: waterfall* * *salto n1. (en general) jumpganó con un salto de 8,95 metros he won with a jump of 8.95 metres2. (de un trampolín) dive3. (avance) leapdar un salto / pegar un salto to jump -
17 study
1. n изучение, исследование; научные занятия2. n изучение, рассмотрениеafter the study of the matter — после изучения этого вопроса …
3. n обследование4. n обыкн. приобретение знаний, учение; занятияstudy hall — зал для занятий; читальня, читальный зал
study time — учебное время, часы учёбы
5. n наука; область науки6. n тк. предмет изученияman is their study — человек — предмет их исследований
7. n научная работа, монографияwork, study and living — работа, учеба и проживание
8. n очерк9. n иск. этюд, эскиз, набросок10. n забота; старание11. n рабочий кабинет12. n театр. актёр, заучивающий роль13. v изучать, исследовать; рассматривать; обдумыватьto study law, to go to the law — изучать право
to study medicine — изучать медицину, учиться на врача
14. v учить, изучатьto study history — изучать историю ; заниматься историей
15. v учиться, заниматься16. v готовитьсяto study for the medical profession, to study to be a doctor — готовиться стать врачом
17. v заботиться; стремиться18. v разг. угождать, ублажать19. v заучивать наизустьСинонимический ряд:1. analysis (noun) analysis; examination; inquiry; investigation; probe2. check (noun) check; check-up; inspection; perusal; scrutiny3. den (noun) den; library; office; studio4. education (noun) education; instruction; learning5. meditation (noun) advisement; application; attention; calculation; cogitation; concentration; consideration; contemplation; debate; deliberation; heed; meditation; reflection; rumination; thought6. practice (noun) drill; exercise; lesson; practice; rehearsal; training7. reverie (noun) abstraction; brown study; muse; reverie; trance8. subject (noun) area; art; class; course; field; subject9. explore (verb) explore; research; review; survey10. investigate (verb) analyse; analyze; compare; investigate; practice; read11. scrutinize (verb) canvass; check; check over; check up; cogitate; con; consider; contemplate; entertain; estimate; examine; excogitate; go over; inspect; mind; perlustrate; perpend; peruse; ponder; reflect; scrutinise; scrutinize; think; think out; think over; vet; view; weigh -
18 heat
1) жар
2) жаровой
3) забег
4) каление
5) нагревать
6) накаливать
7) натапливать
8) натопить
9) обогревать
10) плавочный
11) подогрев
12) подогревать
13) тепло
14) тепловоспринимающий
15) тепловый
16) теплозащитный
17) теплообменный
18) теплота
19) тепловой
20) тепловая энергия
21) нагреваться
22) накаливаться
23) греть
24) калильный
25) жаровый
26) котел
27) накалить
28) теплоемкость
29) калория
– accumulation of heat
– available heat
– blow heat
– bring to red heat
– by-product heat
– cold heat
– convection heat
– cupola heat
– diverted heat
– evaporation heat
– external heat
– finishing off a heat
– generate heat
– heat abstraction
– heat ageing
– heat balance
– heat barrier
– heat blower
– heat capacity
– heat carrier
– heat chamber
– heat conducting
– heat conduction
– heat conductivity
– heat conductor
– heat consumer
– heat content
– heat demand
– heat detector
– heat differential
– heat dissipation
– heat emission
– heat energy
– heat engine
– heat engineering
– heat exchange
– heat exchanger
– heat exchanging
– heat filter
– heat finishing
– heat flow
– heat generation
– heat generator
– heat input
– heat insulation
– heat log
– heat model
– heat of combustion
– heat of formation
– heat of superheat
– heat of vaporization
– heat peeling
– heat pick-up
– heat pipe
– heat production
– heat productivity
– heat rate
– heat rating
– heat rays
– heat recovery
– heat regeneration
– heat removal
– heat removing
– heat requirement
– heat resistance
– heat run
– heat sample
– heat schedule
– heat shield
– heat shielding
– heat shock
– heat sink
– heat source
– heat sterilization
– heat storage
– heat stress
– heat supply
– heat supplying
– heat tapping
– heat test
– heat time
– heat transfer
– heat transmission
– heat transmitting
– heat transport
– heat treatment
– heat utilization
– heat waves
– internal heat
– Joulean heat
– latent heat
– liberate heat
– low heat value
– low-grade heat
– melting heat
– overblow heat
– pour heat
– progress of heat
– quantity of heat
– radiant heat
– radiogenic heat
– recover heat
– red heat
– residual heat
– resistance to heat
– sensible heat
– specific heat
– store heat
– surplus heat
– total heat
– utilize heat
– viscous heat
– waste heat
– waste-gas heat
– welding heat
– work the heat
ablation heat shield — <cosm.> экран тепловой эрозионный
counter-current heat exchanger — противоточный теплообменник
cross-flow heat exchanger — теплообменник с перекрестным током
float-head heat exchanger — теплообменник с плавающей головкой
heat exchange coefficient — <phys.> коэффициент теплообмена
heat transfer coefficient — <phys.> коэффициент теплоотдачи, коэффициент теплопередачи
intermediate heat exchanger — <engin.> теплообменник промежутночный
mechanical equivalent of heat — механический эквивалент тепла
U-tube heat exchanger — теплообменник с У-образными трубками
-
19 data
цифровое, аналоговое или знаковое представление информации (текст, числа, звук, сигналы, изображения), полученной из наблюдений, измерений, экспериментов и/или вычислений; используются для её хранения, передачи и получения новой информации путём соответствующей обработки данных. Термин происходит от латинского слова datum. Термин обычно употребляется как во множественном, так и в единственном числе, однако в научной литературе для единственного числа может употребляться термин datumсм. тж. confidential data, conflicting data, corrupted data, data abstraction, data acquisition, data administrator, data aggregate, data appending, data area, data architect, data array, data attribute, data backup, data bank, database, data block, data buffer, data bulk, data bus, data cache, data capture, data center, data channel, data cleaning, data collection, data communications, data compaction, data compression, data control, data conversion, data cube, data declaration, data deletion, data dependency, data dictionary, data diddling, data domain, data element, data encapsulation, data entry, data export, data extraction, data field, data flow, data format, data glove, data independence, data insertion, data integrity, data leakage, data link, data localization, data manipulation, data mapping, data mart, data medium, data migration, data mining, data model, data modification, data network, data parallelism, data partitioning, data prefetching, data protection, data recovery, data redundancy, data scrubbing, data semantics, data series, metadata, temporary data, terrain data, test data, textual data, trace data, training data, unstructured dataАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > data
-
20 data
n plGEN datos m pl, información f
Страницы
- 1
- 2
См. также в других словарях:
Abstraction model checking — is for systems where an actual representation is too complex in developing the model alone. So, the design undergoes a kind of translation to scaled down abstract version.The set of variables are partitioned into visible and invisible depending… … Wikipedia
Model-driven software development — (MDSD) is an alternative to Round trip engineering. Round trip engineering is the concept of being able to make any kind of change to a model as well as to the code generated from that model. The changes always propagate bidirectional and both… … Wikipedia
Model-based testing — is the application of Model based design for designing and optionally executing the necessary artifacts to perform software testing. Models can be used to represent the desired behavior of the System Under Test (SUT), or to represent the desired… … Wikipedia
Model-driven engineering — (MDE) is a software development methodology which focuses on creating and exploiting domain models (that is, abstract representations of the knowledge and activities that govern a particular application domain), rather than on the computing (or… … Wikipedia
Abstraction (mathematics) — Abstraction in mathematics is the process of extracting the underlying essence of a mathematical concept, removing any dependence on real world objects with which it might originally have been connected, and generalising it so that it has wider… … Wikipedia
Model-view-controller — (MVC) is an architectural pattern used in software engineering. Successful use of the pattern isolates business logic from user interface considerations, resulting in an application where it is easier to modify either the visual appearance of the … Wikipedia
Model-driven security — (MDS) means applying model driven approaches (and especially the concepts behind model driven software development) [1] to security. Contents 1 Development of the concept 2 Opinions of industry analysts … Wikipedia
Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
MODEL (L.) — Lisette MODEL 1906 1983 Inscrite dans l’histoire de la photographie, une seule image suffit à situer Lisette Model. Née à Vienne en 1906, d’une mère française et d’un père austro italien, cette femme photographe se promène sur la plage de Coney… … Encyclopédie Universelle
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Abstraction (computer science) — In computer science, abstraction is the process by which data and programs are defined with a representation similar to its pictorial meaning as rooted in the more complex realm of human life and language with their higher need of summarization… … Wikipedia
